75年度チューリング賞受賞講演 経験に基づく探究としての計算機科学 記号と探索(II)